Rank-Nullity Theorem for Matrix